SysML:sequence diagram